decimal expansion of real numbers